Mastering the Checkers Pioneer System Part 3 (16-20 variation) azcheckers 17:04 3 years ago 1 877 Далее Скачать
Automatic Test Case Generation using Model Checkers part 5 | Understanding NuSMV Counterexamples TheAspirant 8:25 1 year ago 346 Далее Скачать
Classic checkers: 1949 Hellman-Ryan, Game 5 (9-13, 23-18, 12-16) azcheckers 10:15 3 years ago 1 295 Далее Скачать